M1  M2
== ma{M1.1  M2.1;
== ma{(M1.2).1  (M2.2).1;
== ma{(M1.2.2).1  (M2.2.2).1;
== ma{(M1.2.2.2).1  (M2.2.2.2).1;
== ma{(M1.2.2.2.2).1  (M2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2).1  (M2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2.2.2.2.2).1;
== ma{(M1.2.2.2.2.2.2.2.2.2.2.2).1  (M2.2.2.2.2.2.2.2.2.2.2.2).1} 

latex

---

clarification:

M1  M2
== ma{fpf-join(IdDeq;M1.1;M2.1);
== ma{fpf-join(KindDeq;(M1.2).1;(M2.2).1);
== ma{fpf-join(IdDeq;(M1.2.2).1;(M2.2.2).1);
== ma{fpf-join(IdDeq;(M1.2.2.2).1;(M2.2.2.2).1);
== ma{fpf-join(product-deq(Knd;Id;KindDeq;IdDeq);(M1.2.2.2.2).1;(M2.2.2.2.2).1);
== ma{fpf-join(product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);(M1.2.2.2.2.2).1;(M2.2.2.2.2.2).1);
== ma{fpf-join(IdDeq;(M1.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2).1);
== ma{fpf-join(product-deq(IdLnk;Id;IdLnkDeq;IdDeq);(M1.2.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2.2).1);
== ma{fpf-join(KindDeq;(M1.2.2.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2.2.2).1);
== ma{fpf-join(KindDeq;(M1.2.2.2.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2.2.2.2).1);
== ma{fpf-join(IdDeq;(M1.2.2.2.2.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2.2.2.2.2).1);
== ma{fpf-join(IdDeq;(M1.2.2.2.2.2.2.2.2.2.2.2).1;(M2.2.2.2.2.2.2.2.2.2.2.2).1)} 

latex

Definitions	mk-ma, Knd, product-deq(A;B;a;b), IdLnk, Id, IdLnkDeq, KindDeq, f  g, IdDeq, t.1, t.2
FDL editor aliases	ma-join